[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 86 76 168 1619 405 0 0 0

N.S.

1 0.56 0.50 1.10 10.58 2.65 0.00 0.00 0.00

time (sec)

N/A 0.501 1.067 30.572 0.460 0.334 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 188 87 172 1356 467 0 0 0

N.S.

1 0.99 0.46 0.91 7.14 2.46 0.00 0.00 0.00

time (sec)

N/A 1.058 0.564 2.313 0.427 0.339 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 140 72 136 710 420 0 0 0

N.S.

1 1.01 0.52 0.98 5.11 3.02 0.00 0.00 0.00

time (sec)

N/A 0.736 0.309 2.237 0.398 0.341 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 72 69 155 0 0 0 0 0

N.S.

1 0.47 0.45 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 0.371 2.292 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 65 191 0 442 0 0 0

N.S.

1 1.00 0.68 1.99 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.535 0.613 2.231 0.000 0.335 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 76 240 139 0 0 0 0

N.S.

1 1.00 0.76 2.40 1.39 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 1.032 2.008 0.298 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 149 96 262 3738 0 0 0 0

N.S.

1 1.01 0.65 1.77 25.26 0.00 0.00 0.00 0.00

time (sec)

N/A 0.677 2.350 2.204 1.851 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

194 195 106 284 6134 0 0 0 0

N.S.

1 1.01 0.55 1.46 31.62 0.00 0.00 0.00 0.00

time (sec)

N/A 0.913 5.090 2.448 11.568 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

244 245 120 306 9150 0 0 0 0

N.S.

1 1.00 0.49 1.25 37.50 0.00 0.00 0.00 0.00

time (sec)

N/A 1.211 5.508 2.431 70.100 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 82 83 166 0 0 0 0 0

N.S.

1 0.40 0.41 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 1.906 2.118 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 68 69 146 0 0 0 0 0

N.S.

1 0.45 0.46 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.543 2.128 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 62 61 85 60 0 0 0 0

N.S.

1 0.61 0.60 0.83 0.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.310 0.364 2.021 0.369 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 57 52 34 0 0 36 0

N.S.

1 1.00 1.16 1.06 0.69 0.00 0.00 0.73 0.00

time (sec)

N/A 0.272 0.268 2.099 0.300 0.000 0.000 1.094 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 48 54 81 39 272 0 67 0

N.S.

1 1.04 1.17 1.76 0.85 5.91 0.00 1.46 0.00

time (sec)

N/A 0.333 0.325 1.981 0.360 0.432 0.000 1.196 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 95 89 151 818 0 0 106 0

N.S.

1 0.57 0.53 0.90 4.87 0.00 0.00 0.63 0.00

time (sec)

N/A 0.361 0.606 1.993 0.400 0.000 0.000 1.884 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 111 101 240 2206 0 0 141 0

N.S.

1 0.41 0.37 0.88 8.05 0.00 0.00 0.51 0.00

time (sec)

N/A 0.361 1.599 2.336 0.520 0.000 0.000 1.704 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 85 97 233 2393 0 0 0 0

N.S.

1 0.40 0.45 1.08 11.13 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 2.007 2.307 0.531 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 65 219 0 453 0 0 0

N.S.

1 1.00 0.68 2.28 0.00 4.72 0.00 0.00 0.00

time (sec)

N/A 0.539 0.555 1.958 0.000 0.342 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 80 97 70 0 0 73 0

N.S.

1 1.00 0.82 0.99 0.71 0.00 0.00 0.74 0.00

time (sec)

N/A 0.469 0.574 1.926 0.313 0.000 0.000 1.341 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 75 94 395 0 0 83 0

N.S.

1 1.00 0.80 1.00 4.20 0.00 0.00 0.88 0.00

time (sec)

N/A 0.469 0.262 2.344 0.371 0.000 0.000 1.249 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 93 108 136 818 0 0 99 0

N.S.

1 0.43 0.50 0.63 3.80 0.00 0.00 0.46 0.00

time (sec)

N/A 0.346 0.339 2.036 0.394 0.000 0.000 1.858 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 71 72 157 486 492 0 149 0

N.S.

1 0.70 0.71 1.55 4.81 4.87 0.00 1.48 0.00

time (sec)

N/A 0.440 0.463 2.263 0.379 0.489 0.000 2.156 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

347 128 118 262 4272 0 0 185 0

N.S.

1 0.37 0.34 0.76 12.31 0.00 0.00 0.53 0.00

time (sec)

N/A 0.372 0.991 1.999 1.882 0.000 0.000 1.987 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

220 89 85 216 0 0 0 93 0

N.S.

1 0.40 0.39 0.98 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.334 1.780 2.362 0.000 0.000 0.000 1.461 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 79 142 102 0 0 75 0

N.S.

1 1.00 0.81 1.45 1.04 0.00 0.00 0.77 0.00

time (sec)

N/A 0.466 0.725 1.956 0.313 0.000 0.000 1.664 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 143 86 154 1786 0 0 111 0

N.S.

1 0.99 0.60 1.07 12.40 0.00 0.00 0.77 0.00

time (sec)

N/A 0.709 0.591 2.242 0.509 0.000 0.000 1.615 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 142 89 129 1165 0 0 124 0

N.S.

1 1.01 0.64 0.92 8.32 0.00 0.00 0.89 0.00

time (sec)

N/A 0.658 0.416 2.077 0.486 0.000 0.000 1.461 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 107 101 195 2206 0 0 77 0

N.S.

1 0.40 0.37 0.72 8.17 0.00 0.00 0.29 0.00

time (sec)

N/A 0.348 1.016 2.516 0.507 0.000 0.000 1.679 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

345 126 118 262 4272 0 0 193 0

N.S.

1 0.37 0.34 0.76 12.38 0.00 0.00 0.56 0.00

time (sec)

N/A 0.355 0.894 2.262 1.898 0.000 0.000 1.997 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 88 84 222 1386 564 0 228 0

N.S.

1 0.58 0.56 1.47 9.18 3.74 0.00 1.51 0.00

time (sec)

N/A 0.518 0.749 2.317 0.499 0.635 0.000 1.863 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.291 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

109 109 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.301 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.306 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

172 154 101 0 0 0 0 0 0

N.S.

1 0.90 0.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.601 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 96 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 0.539 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 69 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.350 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 147 94 0 0 0 0 0 0

N.S.

1 1.06 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.360 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

205 194 122 0 0 0 0 0 0

N.S.

1 0.95 0.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.364 0.399 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 90 133 136 0 293 0 0 0

N.S.

1 0.99 1.46 1.49 0.00 3.22 0.00 0.00 0.00

time (sec)

N/A 0.424 1.001 1.822 0.000 0.346 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 810 257 0 0 0 0 0

N.S.

1 1.00 3.51 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.686 34.066 8.246 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 178 247 0 0 0 0 0

N.S.

1 1.00 0.79 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.643 7.529 5.050 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 325 182 287 0 0 0 0 0

N.S.

1 1.02 0.57 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.231 8.235 7.295 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

271 212 229 300 0 472 0 0 0

N.S.

1 0.78 0.85 1.11 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.412 8.411 6.826 0.000 0.302 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 167 192 223 0 392 0 0 0

N.S.

1 0.81 0.94 1.09 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.372 9.191 4.842 0.000 0.283 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 127 444 159 0 320 0 0 0

N.S.

1 0.88 3.08 1.10 0.00 2.22 0.00 0.00 0.00

time (sec)

N/A 0.338 6.983 4.575 0.000 0.277 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 76 96 147 235 0 0 0

N.S.

1 1.00 1.15 1.45 2.23 3.56 0.00 0.00 0.00

time (sec)

N/A 0.400 0.419 4.244 0.341 0.280 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 105 144 499 0 669 0 0 0

N.S.

1 1.00 1.37 4.75 0.00 6.37 0.00 0.00 0.00

time (sec)

N/A 0.600 2.893 15.146 0.000 0.497 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

219 195 244 38052 0 1413 0 0 0

N.S.

1 0.89 1.11 173.75 0.00 6.45 0.00 0.00 0.00

time (sec)

N/A 0.390 5.179 15.518 0.000 1.574 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

287 268 311 76269 0 2368 0 0 0

N.S.

1 0.93 1.08 265.75 0.00 8.25 0.00 0.00 0.00

time (sec)

N/A 0.454 7.574 17.656 0.000 4.365 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 232 219 297 0 482 0 0 0

N.S.

1 0.96 0.91 1.23 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.411 3.630 6.620 0.000 0.309 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 170 145 232 0 398 0 0 0

N.S.

1 0.97 0.82 1.32 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.354 1.515 4.699 0.000 0.278 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 108 102 206 998 316 0 0 0

N.S.

1 1.03 0.97 1.96 9.50 3.01 0.00 0.00 0.00

time (sec)

N/A 0.582 0.597 1.460 0.394 0.273 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 135 840 0 731 0 0 0

N.S.

1 1.00 1.23 7.64 0.00 6.65 0.00 0.00 0.00

time (sec)

N/A 0.602 0.865 14.277 0.000 0.908 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

229 206 293 25448 0 1640 0 0 0

N.S.

1 0.90 1.28 111.13 0.00 7.16 0.00 0.00 0.00

time (sec)

N/A 0.418 4.742 15.931 0.000 4.126 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

310 288 359 55536 0 2729 0 0 0

N.S.

1 0.93 1.16 179.15 0.00 8.80 0.00 0.00 0.00

time (sec)

N/A 0.473 5.862 16.912 0.000 11.665 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 255 286 367 0 620 0 0 0

N.S.

1 0.76 0.85 1.09 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.470 4.731 90.860 0.000 0.314 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 198 191 280 0 500 0 0 0

N.S.

1 0.77 0.74 1.09 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.415 2.398 21.676 0.000 0.295 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 150 128 211 1396 390 0 0 0

N.S.

1 1.06 0.90 1.49 9.83 2.75 0.00 0.00 0.00

time (sec)

N/A 0.817 0.905 7.703 0.429 0.306 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

203 162 343 1402 0 1140 0 0 0

N.S.

1 0.80 1.69 6.91 0.00 5.62 0.00 0.00 0.00

time (sec)

N/A 0.429 5.708 23.447 0.000 2.927 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

329 248 280 20138 0 2031 0 0 0

N.S.

1 0.75 0.85 61.21 0.00 6.17 0.00 0.00 0.00

time (sec)

N/A 0.533 3.260 53.694 0.000 13.167 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

536 405 551 42563 0 3351 0 0 0

N.S.

1 0.76 1.03 79.41 0.00 6.25 0.00 0.00 0.00

time (sec)

N/A 0.657 9.973 235.817 0.000 22.582 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

258 197 787 509 0 619 0 0 0

N.S.

1 0.76 3.05 1.97 0.00 2.40 0.00 0.00 0.00

time (sec)

N/A 0.427 8.070 5.597 0.000 7.795 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

183 142 295 348 0 481 0 0 0

N.S.

1 0.78 1.61 1.90 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 0.371 2.729 5.114 0.000 1.961 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 92 203 699 314 0 0 0

N.S.

1 1.00 1.01 2.23 7.68 3.45 0.00 0.00 0.00

time (sec)

N/A 0.417 0.537 2.401 0.598 0.685 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

166 177 243 659 0 1050 0 0 0

N.S.

1 1.07 1.46 3.97 0.00 6.33 0.00 0.00 0.00

time (sec)

N/A 1.155 3.439 15.288 0.000 10.595 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

416 301 337 54030 0 2508 0 0 0

N.S.

1 0.72 0.81 129.88 0.00 6.03 0.00 0.00 0.00

time (sec)

N/A 0.577 11.361 16.575 0.000 108.960 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

653 490 2940 97277 0 0 0 0 0

N.S.

1 0.75 4.50 148.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 22.452 18.669 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

324 233 856 587 0 701 0 0 0

N.S.

1 0.72 2.64 1.81 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.457 8.094 6.055 0.000 14.300 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

290 207 177 389 0 620 0 0 0

N.S.

1 0.71 0.61 1.34 0.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.430 5.217 3.462 0.000 6.467 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 133 230 289 0 548 0 0 0

N.S.

1 1.05 1.81 2.28 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 0.637 2.454 3.022 0.000 1.879 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

394 273 302 1419 0 2033 0 0 0

N.S.

1 0.69 0.77 3.60 0.00 5.16 0.00 0.00 0.00

time (sec)

N/A 0.525 6.105 16.332 0.000 215.922 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

560 391 470 69595 0 0 0 0 0

N.S.

1 0.70 0.84 124.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.661 11.849 17.956 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

802 579 2632 117747 0 0 0 0 0

N.S.

1 0.72 3.28 146.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.856 18.761 21.104 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

480 346 436 688 0 880 0 0 0

N.S.

1 0.72 0.91 1.43 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.534 9.677 4.859 0.000 30.821 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

468 334 262 523 0 782 0 0 0

N.S.

1 0.71 0.56 1.12 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.508 6.250 4.484 0.000 13.489 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 176 343 376 0 670 0 0 0

N.S.

1 1.07 2.09 2.29 0.00 4.09 0.00 0.00 0.00

time (sec)

N/A 0.915 7.472 2.893 0.000 3.610 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

592 420 360 2345 0 0 0 0 0

N.S.

1 0.71 0.61 3.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 11.406 16.762 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

756 540 465 85544 0 0 0 0 0

N.S.

1 0.71 0.62 113.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 13.651 20.180 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

999 729 2904 139613 0 0 0 0 0

N.S.

1 0.73 2.91 139.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.958 22.075 23.723 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

123 123 240 1496 0 806 0 0 0

N.S.

1 1.00 1.95 12.16 0.00 6.55 0.00 0.00 0.00

time (sec)

N/A 0.712 14.890 4.998 0.000 0.499 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 102 166 0 206 0 0 0

N.S.

1 1.00 1.67 2.72 0.00 3.38 0.00 0.00 0.00

time (sec)

N/A 0.279 0.687 2.899 0.000 0.338 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 135 609 0 517 0 0 0

N.S.

1 1.00 1.22 5.49 0.00 4.66 0.00 0.00 0.00

time (sec)

N/A 0.761 1.161 2.847 0.000 0.358 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 184 423 0 883 0 0 0

N.S.

1 1.00 1.30 3.00 0.00 6.26 0.00 0.00 0.00

time (sec)

N/A 0.752 13.066 2.717 0.000 0.575 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 171 367 0 913 0 0 0

N.S.

1 1.00 1.21 2.60 0.00 6.48 0.00 0.00 0.00

time (sec)

N/A 0.711 0.820 2.501 0.000 0.915 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 250 0 274 573

N.S.

1 1.00 1.01 1.09 0.00 3.73 0.00 4.09 8.55

time (sec)

N/A 0.401 0.201 0.541 0.000 0.280 0.000 0.326 15.629

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 151 155 168 0 561 0 201 3763

N.S.

1 1.23 1.26 1.37 0.00 4.56 0.00 1.63 30.59

time (sec)

N/A 0.722 1.065 0.634 0.000 0.306 0.000 0.299 22.207

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 250 267 287 0 1152 0 457 6909

N.S.

1 1.23 1.31 1.41 0.00 5.65 0.00 2.24 33.87

time (sec)

N/A 1.193 1.818 0.921 0.000 0.343 0.000 0.367 24.046

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 158 136 195 0 671 0 237 4934

N.S.

1 1.19 1.02 1.47 0.00 5.05 0.00 1.78 37.10

time (sec)

N/A 0.691 1.321 0.623 0.000 0.316 0.000 0.317 22.898

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 269 493 386 0 1409 0 658 8682

N.S.

1 1.14 2.08 1.63 0.00 5.95 0.00 2.78 36.63

time (sec)

N/A 1.188 2.694 1.008 0.000 0.360 0.000 0.396 24.417

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 433 438 635 0 2362 0 1201 12818

N.S.

1 1.15 1.16 1.68 0.00 6.27 0.00 3.19 34.00

time (sec)

N/A 1.947 4.424 1.095 0.000 0.450 0.000 0.395 27.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 302 517 458 0 1629 0 818 10759

N.S.

1 1.19 2.04 1.80 0.00 6.41 0.00 3.22 42.36

time (sec)

N/A 1.266 2.247 1.186 0.000 0.404 0.000 0.409 27.042

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

412 463 459 785 0 2776 0 1572 15647

N.S.

1 1.12 1.11 1.91 0.00 6.74 0.00 3.82 37.98

time (sec)

N/A 1.988 5.386 1.335 0.000 0.479 0.000 0.427 28.485

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

622 683 668 1345 0 4346 0 3173 21021

N.S.

1 1.10 1.07 2.16 0.00 6.99 0.00 5.10 33.80

time (sec)

N/A 3.196 9.725 2.379 0.000 0.688 0.000 0.552 28.964

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 379 1249 0 0 0 0 0

N.S.

1 1.00 1.18 3.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.018 10.202 20.479 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 225 400 0 0 0 0 0

N.S.

1 1.00 1.02 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.699 8.253 6.164 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

380 381 6063 2984 0 0 0 0 0

N.S.

1 1.00 15.96 7.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.389 23.573 24.793 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]